Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels

Diagnosticabilité de motifs de supervision par dépliage de réseaux de Petri

Résumé—Ce papier s’intéresse au problème de la diagnosticabilité des motifs de supervision dans les systèmes à événements discrets. Ces motifs permettent de prendre en compte des comportements de fautes complexes. La méthode d’analyse de diagnosticabilité s’appuie sur l’utilisation des réseaux de Petri et sur les méthodes de dépliage de manière à appréhender les problèmes d’explosion combinatoi...

TITRE : Convergence des Réseaux IP et de Diffusion Vidéo : de la Gestion des Ressources à la Fourniture de Services Convergence of IP and Digital Video Broadcasting Networks: from Resource Management to Service Provisioning JURY

Routing and performance evaluation of disruption tolerant networks Routage et évaluation des performances des réseaux tolérants aux perturbations

136 vi Table of

Sur la modélisation et le contrôle des réseaux dynamiques conservatifs

Résumé—Un premier objectif de cette communication est de présenter les principes généraux qui président à la mise en équation des modèles dynamiques des réseaux conservatifs, aussi bien dans le cas des modèles en dimension finie que dans celui des modèles en dimension infinie. Un deuxième objectif est de présenter deux questions relatives au contrôle en boucle fermée de ces réseaux : d’une part...

Exploring Social Networks with Matrix-based Representations — Explorer les réseaux sociaux avec des représentations matricielles de graphe